GDP with and without the public sector