How health contributes to Namibia's GDP