Civil servants to get 0.1 month year-end bonus with lump sum of up to S$1,500