Portable dehumidifiers in the control of house dust mites and mite allergens