Foundations of Differentiable Manifolds and Lie Groups