An introduction to Lie theory