A Study in Derived Algebraic Geometry, Part 2: Volume II: Deformations, Lie Theory and Formal Geometry