Michael Saylor's Strategy just launched a public model showing how its Bitcoin holdings cover its debt.