history of mechanised mining in india