New top-secret cloud strategy underpins State Dept. bureau’s modernization efforts