what machines are used in a coal mine