equipments required for mining of coal