Verification and calibration of coordinate measuring machines