An Improved Algorithm for Fast K-Word Proximity Search Based on Multi-Component Key Indexes.