Budget 2023: Civil servants will continue to receive various benefits