Rig operators and maintenance crews, the forgotten casualties of the oil price crash