construction of a market shelter at Mwanambinyi east