Optimality conditions for mixed discrete bilevel optimization problems. (3rd June 2018)