Что раньше находилось в здании на Васильевском острове, где сейчас располагается лаборатория исследования теорий вероятностей?