Kan Extensions in Enriched Category Theory