Lie theory for the roboticist