Contribution of public investment to quarterly GDP growth