正四棱柱的定义