Petrographic microscope