Theoretical and experimental investigation of the tool indentation effect in ultra-precision tool- servo-based diamond cutting of optical microstructured surfaces.