java / 安卓 把秒数格式化为视频/音频中常用的时间，如00:20