how to convert a string to integer in python