Sketching as a Tool for Understanding and Accelerating Self-attention for Long Sequences