Python: Which exception is raised when you try to type cast a string value to int?