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