GATE Mímir and cloud services Multi-paradigm indexing and search tool Pay-as-you-go large-scale annotation.