Maximum a Posteriori Inference for Factor Graphs via Benders' Decomposition