What is a laboratory microscope?