Transformers as Recognizers of Formal Languages: A Survey on Expressivity