Performance-based budgeting in the public sector: an illustration from the VA health care system