Columbus teachers' union votes to strike