Putting school choice, class size, and other education ideas under the microscope