The relaxed Dirichlet energy of mappings into a manifold