Predictive translation memory: a mixed-initiative system for human language translation.