直四棱柱有哪些性质