The original version of this article unfortunately contained a mistake. The family name of Paolo Brambilla was incorrectly spelled as Bambilla.