Department of Computer Science, Duke University, Durham, NC 27708, USA.|Department of Computer Science, Duke University, Durham, NC 27708, USA.|Department of Computer Science, Duke University, Durham, NC 27708, USA.|Department of Computer Science, Duke University, Durham, NC 27708, USA.|Department of Computer Science, Duke University, Durham, NC 27708, USA.