Revised abstract
Fixed more typesetting, added references