In 2008, how many were enrolled in public schools?