Here's what it would take Democrats to replace Joe Biden as party nominee