R11 billion allocated for early retirement for civil servants