Theory of Laser Saturation Spectroscopy