interview: Red Hat chief executive Matthew Szulik