How Charlie Munger Actually Made Money with Options