machines that miners operate underground