Electoral College vote Monday brings end to contentious 2020.