which machine is used for coal mining