A Combinatorial Disjunctive Constraint Approach to Optimal Footstep Planning