Mining’s contribution to developing Namibia