red hat history