The Structure of Models of Peano Arithmetic