تگ: The Geometric Satake Correspondence