ネットワーク層のパケットを対象として IP パケットでカプセル化し，トンネリングを行えるプロトコルはどれか。