Challenging the Machine: Contestability in Government AI Systems