台体体积计算公式如何推导?