Ray optics, Fermat's principle, and applications to general relativity (Berlin ; | New York : Springer, 2000)