On computation of limiting coderivatives of the normal-cone mapping to inequality systems and their applications. (2nd April 2016)