Who is the only US president to have served two non-consecutive terms and is therefore counted as both the 22nd and 24th president?