Red Hat workers bring energy to new downtown Raleigh headquarters