What did income from petroleum allow the government to fund in the early '80s?