Invited talk at EECS 542, University of Michigan. [Slides]