圣瓦西里大教堂面积有多大