Is mining engineering hard in Namibia?