马德堡半球实验多少匹马