HATFormer: Historic Handwritten Arabic Text Recognition with Transformers