I have been invited to give a Colloquium talk at the Department of Computer Science and Engineering at the University of Minnesota.