How much does it really cost to impeach a president?