House dust mite allergy and anti‐mite measures in the indoor environment