House dust mite allergy in Southern Africa — historical perspective and current status