Atrial septal defect associated with pulmonary hypertension in children living at high altitude