A guide to the jargon and minutiae of a US presidential election