prepared for the Encyclopedia of Mathematical Physics (Elsevier)