How did Henry II become emperor of the holy Roman empire?