java自动补零得到一定位数的数字字符串，工具类