How to convert string to integer in python