Where do mine cutting and channeling machine operators work?