What Sheryl Sandberg’s Exit Reveals About Women’s Progress in Tech