Red Hat's Q4: Misses revenue but wins on earnings