Red Hat reports Second Quarter Results