批处理如何在一个字符串中提取出形如 12:31:56 的时间字符串，并赋值给某变量。