[python] How to sort a list of strings numerically?