Solving LinkedIn Queens using MiniZinc