Tanzania's mining sector contributes 6.7 percent to GDP : co