The management of trigger thumb in children.