Census-derived migration data as a tool for informing malaria elimination policy. (December 2016)