The Formal Demography of Migration and Redistribution: Measurement and Dynamics