Princeton provost to become president