Bernie Sanders ends presidential campaign for 2020