what machines are used in quarry mining