Leopold I, Împărat al Sfântului Imperiu Roman