Who was a candidate for the Libertarian Party's 2012 nomination for President of the United States, that unsuccessfully challenged during his tenure, the fourth-ranking Republican leader in the House?