Lie Groups: Beyond an Introduction