Indonesia turns to AI to shrink the bloated civil service