List sorting in Python.