New title, somewhat refined introduction.