quarrying of gravel for construction