Surface-roughness measurement by digital processing of Nomarski phase-contrast images.