NBC: 3 Ohio officers shot, gunman dead after lunchtime ambush, police say