Máy phun tạo nhám bề mặt đá, Gia công đá bằng tia nước