Singapore Pools - What Does it Do With the Money It Makes?