[A1]Abbreviations are defined when used for the first instance in the abstract as well as in the body of the paper.