Einstein-Cartan theory