History of electron microscopy