Strong subdifferentials: theory and applications in nonconvex optimization