What will the size of Singapore's total foreign workforce be, for the first month after 2020-12-01 for which data is published?