This work was supported in part by the National Science Foundation under grants IIS-0324846, IIS-0713403 and OCI-0724806, and by IAM Technology, Inc. The work of the first author was done primarily as a consultant to Brown University. A preliminary v