Where do mine shuttle car operators work?