Find the average height of the players who belong to the college called 'Yale University'.
select avg(t1.height) from player as t1 join player_college as t2 on t1.player_id = t2.player_id join college as t3 on t3.college_id = t2.college_id where t3.name_full = 'Yale University';