Python Pandas - 从 IntervalIndex 获取长度