Google will let schools skip AI tools, but they have to give up search, too