Hyperbaric rock cutting