Undocumented students amount to a small share of the K-12 student population