Contribution of the public sector to quarterly GDP growth