A Novel Geometric Theory of On-Machine Tool Measurement and Practical, Optimal Approaches to Highly Accurate and Efficient On-Machine Measurement