mining diamond mining equipment in namibia