Disney’s three Star Wars films have earned more than Lucasfilm was bought for