in quarrying gravel and metal ores are used for