Cerchar Abrasion Ratio (CAR) as a New Indicator for Assessing Rock Abrasivity, Rock–Stylus Interaction and Cutting Efficiency