Credit: WTOP/Kristi King Fewer teachers, larger class sizes could be in store for Montgomery County public schools