rock cutting equipment quarrying meaning