Title: On order-types of models of arithmetic