WK-4型挖掘机起重臂长度是多少（）。