Building Guastavino dome in China: A historical survey of the dome of the Auditorium at Tsinghua University