The 2007 gross state product was $44. How much of Alaskan state revenue never comes from petroleum extraction