indian rock quarrying and mining industry