how do quarrying and mining help break rock