What we know about the Orlando gunman, Omar Mateen