The theory of locally Toeplitz sequences: a review, an extension, and a few representative applications