Sumformer: Universal Approximation for Efficient Transformers