Updated final paper to final version.