machine used for quarrying