Farmers, traders, and labourers: dry season migration from north-west Nigeria, 1900–33