US election result 2020: Donald Trump gets Florida boost, leads Biden in Michigan, Ohio, Pennsylvania