How did the writings of John Locke and Baron de Montesquieu influence ideas about government in what became the United States?