Text this: Managing future oil revenues in Ghana: An assessment of alternative allocation options