The Slave Trade: The Formal Demography of a Global System