计算球面x^2+y^2+z^2=4被柱面x^2+y^2=2y截下部分的面积?