¿Dónde trabajan los operadores de carros de minería?