Optimal policies for managing oil revenue stabilization funds: An illustration using Saudi Arabia