Under DeVos, here's how school choice might work