Is mining engineering in demand in Namibia?