How do I convert a string such as x=’12345′ to an integer (int) under Python programming language?