GCHQ Christmas challenge: Agency reveals 2023 codebreaker