python convert int to string with 3 digits