House dust mite allergens on different types of mattresses