A review of the effects of rock properties on waterjet rock cutting performance