Number of public schools and public-school students in 2017-2021