mysql text 默认长度_圆弧长度计算公式