Mayor Johnson’s interim CPS board votes to fire CEO Martinez