Electron interferometry and interference electron microscopy