Pot and ladle: a formula for estimating the distribution of seats under the Jefferson–D’Hondt method