process used in gravel sand quarrying