Slightly modified paragraph, reference added.