Christian Horner has formally left Red Bull after agreeing to a severance deal following his sacking as team principal in July.