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