South Africa sets its ambitious G20 agenda for digital public infrastructure and AI