PIB nominal de Singapour en 2020