How to replace many (millions of) strings in a large text file