The Economics of Forced Labour: Mining in Twentieth-Century Colonial Africa