XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems