TCP/IP環境において，pingによってホストの接続確認をするときに使用されるプロトコルはどれか。