Second-order optimality conditions and Lagrange multiplier characterizations of the solution set in quasiconvex programming