Hodge-Arakelov theory