Ray Optics, Fermat's Principle, and Applications to General Relativity