No abstract, but please refer to the extended summary.