python string split performance