Metrology in a scanning electron microscope: theoretical developments and experimental validation