python changing string to int