Updated introduction and references.