NBA Hall of Famer and business tycoon Magic Johnson has an estimated net worth of what?