Efficient Minimization of Higher Order Submodular Functions using Monotonic Boolean Functions