Control of house dust mites by electrical heating blankets