[python] How to pad zeroes to a string?