Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials (Logical Methods in Computer Science, 2024)