MAP-Inference for Highly-Connected Graphs with DC-Programming