Stone quarrying in the Aravalli hills in Delhi, India