¿Dónde trabajan los operadores de martinetes de pilotes?