Effect of Pre-Existing Micro-Defects on Cutting Force and Machined Surface Quality Involved in the Ball-End Milling Repairing of Flawed KDP Crystal Surfaces