how to convert character in integer in python