Police release body camera video of an officer killing the gunman who killed 8 at a Texas mall