PartyGaming and Empire settle online poker dispute