Added invited talk at ACM CF.