Python: Convert a string to an integer,int('  23  ')