High‐efficiency vacuum cleaners increase personal mite allergen exposure, but only slightly