哪个科学家证明了大气压的存在