Productivity growth and the role of mechanisation in African agriculture