Bernie Sanders ends his 2020 Democratic presidential campaign