Hygiene of nasal masks used at home for non-invasive ventilation in children.