Added an introduction to the polyhedral analysis section.