lime stone mining in dehradun wiki