Title: A review of irrigation technology in tropical Africa