Published jointly with the London Mathematical Society.