直棱柱的定义