what type of machines used in coal mine