'EDS Gets $3.12B for USMC-Navy Intranet Services