Erratum

After publication of the original article [1], it came to the publisher’s attention that the text contained several minor typos. Upon investigation, it transpired that there had been technical issues affecting the copyediting process before the article entered the production stage, resulting in the presence of minor errors, without influence on content, in the published version.

The original article has now been updated in order to rectify these errors, comprising of textual edits that do not affect the scientific content of the paper.