Leaving the bench, 1970-2009: The choices federal judges make, what influences those choices, and their consequences