Basic Wavefront Aberration Theory for Optical Metrology