Higher order optimality conditions for inequality-constrained problems