Progress announced on 888 Holdings, William Hill deal