Revised version as submitted