清华大学天文系正式成立