What is the allocation for Annual Development Program (ADP) in the budget for the financial year 2023-24?