who was crowned the first holy roman emperor