Mathematician describes US election machine algorithms