50 years of the Singapore Budget in numbers