¿Dónde trabajan los operadores de máquinas de corte y canalización de minas?