Police shoot gunman in West Dallas