machine used in mines to cut granite