principally polarized ordinary abelian varieties over finite fields