Text this: Budgeting for the military sector in Africa