Speeding up text processing in Python (is hard)