Mombasa port tax revenue beats target by Sh17bn