php格式化数字：位数不足前面加0补足