Download Models and Techniques for Proving Data Structure Lower Bounds