Budget 2025: Government allocates R11bn for early retirement of 30,000 public employees