what are the equipments used in coal mining