ohio state hires jim tressel as head football coach