Quantum Mechanics of Electrons in Crystals