Edited

Prepared for publication.