Derived differential geometry and quantization