Altitude and house dust mites