Enriched model categories and the Dold-Kan correspondence