棱柱的定义和性质