Updated paper: fixed typos, added minor details.