Rational homotopy theory for non-simply connected spaces