Exploiting Local Optimality And Strong Inequalities For Solving Bilevel Combinatorial And Submodular Optimization Problems