Nine Columbus City schools potentially face closure. Here's what to know