Department of Computer Science, Columbia University, 1214 Amsterdam Avenue, New York, NY 10025, USA. jds1@cs.columbia.edu|Department of Computer Science, Columbia University, 1214 Amsterdam Avenue, New York, NY 10025, USA. jds1@cs.columbia.edu