The Parameterization Method for Invariant Manifolds: From Rigorous Results to Effective Computations