[python] Removing all non-numeric characters from string in Python