“Vouchers, charter schools, and other forms of choice have been promoted as a way to improve public schooling, but the justification for that position is largely based on theoretical ideas.”