求曲面z=1-x平方-y平方与平面x=0围成的立体体积