C^∞-schemes, derived manifolds, and Kuranishi spaces