How Tanzania is betting on coding to help close the gender gap in its tech sector