How many health professionals in total did Namibia have in 2002?