p-adic Arakelov theory