During the three years following its inception, the university bore three different names. When was the suffix "in St. Louis" added to Washington University?