machineries used in coal mining