Rational Homotopy Theory and Derived Commutative Algebra