Video of Paris attack shows police shooting dead the gunman