This is an article for the Kluwer Encyclopedia of Mathematics, Supplement vol.II, p.455-457 (2000).