Automatic Logic-Based Benders Decomposition with MiniZinc