This work is partially supported by NSF grant CNS-1252643.