Translated
Updated according to feedback
Merge pull request #239 from jcarlosgarcia/when-index-used

Completed translation of "12-When is an index used" parts a and b. Resolves #234