Exact Sequence Classification with Hardmax Transformers