developments of mining industry in india