正四棱柱是底面为正方形的几何体吗?