Trump picks Obama holdover to lead major immigration agency