How much stake does Peter Harris own in the British private company which owns Haven Holidays, Butlins, and Warner Leisure Hotels?