Final version of explanatory comments added.