Python string to int: how to convert string to integer in python