Tripling crop yields in tropical Africa