马德堡半球实验用了几匹马