已知正四棱锥s—ABCD的底面边长为4,求侧棱长和正四棱锥体积