How agencies can get out from under $7B in technical debt