Automated Intersection Management with MiniZinc