WK-4型挖掘机铲斗容积是多少（）。