Real Closed Exponential Fields and Models of Peano Arithmetic