Digital micrometers: advanced precision for machine shops