Disney to buy Lucasfilm, Star Wars franchise for $4 billion