history of coal mining in india