马德堡半球实验需要几匹马