U Penn. provost will become Johns Hopkins' next president