Government ICT spending to increase to S$3.8b