DOD finalizes $848.8M Red Hat software supply pact