Ohio university to pay professor $400K after disciplining him for refusing to use a transgender student’s pronouns