How much does the county spend total for the school system when one includes services such as school nurse aids, infant and toddler services, police in the schools and all of the other little (or big) things that support the schools or school aged children but are not in the FCPS budget?