Sanders quits US presidential race, setting up Biden battle with Trump