17-year-old killed in officer-involved shooting in Columbus