How much does the President of the United States really matter?