The Petrographic Microscope: Evolution of a Mineralogical Research Instrument