Python Number To String With Leading Zeros