Industrial quarrying and sustainable development