Gunman shoots 4 Texas policemen