quarry mining types switch back