Singapore revises growth forecast as GDP shrinks in Q3