On non-standard models of Peano Arithmetic