Police release video, names of officers in shooting of 12-year-old boy