Derived manifolds and Kuranishi models