Spin-Orbit coupling in band theory