Vodafone agrees $10 billion takeover of Kabel Deutschland