python converting a string to an integer