A review on recent progresses in machining methods based on abrasive water jet machining