JuniperのAppFormix（現Contrail Insights）の主な機能はどれか。

カプセル化により既存のIPネットワーク上に論理ネットワークを構築する技術の総称はどれか。