Inapproximability of Unique Games in Fixed-Point Logic with Counting (Logical Methods in Computer Science, 2024)