python 获取固定长度数值组成的数字字符串,不够的左边补0