Text this: A review of water jet-assisted rock cutting /