How familiar were the American Founding Fathers to the history of the Holy Roman Empire and its electoral college system? Did they see any pitfalls or benefits in its system?