有人知道清华大学的床是什么规格的吗？我是今年的大一新生。不知道应该买多大的床垫。