Codifferentiable mapings with applications to vector optimization.