Booz Allen Hamilton relies on Red Hat