total public debt stock