The Lazy Flipper: Efficient Depth-limited Exhaustive Search in Discrete Graphical Models