IBM completes acquisition of Red Hat