Currently supported by NSF CCF-0728783, NSF DMS-0714934, and DARPA 23 Mathematical Challenges. Previous support from NSF CCF-0430990 and NSF-DARPA CARGO CCR-0310661.