US election 2020: What is the electoral college?

The president of the United States is not chosen directly by voters, but by what's known as the electoral college.