Arakelov's theorem for abelian varieties