BABCOCK INTERNATIONAL GROUP PLC的員工人數。