Introduction to Newton-Cartan theory