Caesars Entertainment signs revised deal to sell William Hill non-US assets to 888 Holdings