Proof-theoretic ordinals