what kind of rocks are mined in the quarry