3,000 current and ex-civil servants ‘under-compensated’ due to HR system errors; Govt to make up S$10m shortfall