Derived formal moduli problems and dgla's