Efficient minimization of higher order submodular functions using monotonic Boolean functions