This research is supported by the National Science Foundation (NSF) grant CCF-1049406 and by MIT's Computer Science and Articial Intelligence Lab (CSAIL). Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.