John Malone's Liberty Global sells European cable businesses to Vodafone (CNN)