construction industry rocks mined quarry