Feds saving one-fifth of IT budget through virtualization