mills for use in quarries