equipments used for coal mining in india