Red Hat for government: IT optimization