Lower bounds on the size of semidefinite programming relaxations - Steurer