Compressed Text Indexes: From Theory to Practice