How many U.S. public school students there will be through 2055, as births, moving and immigration change.