[2019-09-30] first version [2019-10-02] corrections to section 2 [2019-10-08] fixed three minor typos in section 2