solomon, king of hungary