Final version, first submission.