直四棱柱的性质定义