Approximately how many soldiers from the Holy Roman Empire fought against Francis I, and what would the economic effect on the HRE have been?