An Analysis of the Focus Variation Microscope and Its Application in the Measurement of Tool Parameter