Size of Joe Biden's lead over Donald Trump in FiveThirtyEight polling averages in 2016 and 2020, in percentage points