意大利科学家托里拆利用什么做实验