Gov. DeWine picks former Ohio State football coach Jim Tressel as lieutenant governor