Describir: Agricultural productivity growth in Africa and the role of mechanization (1961–2020)