what equipments are used in coal mining