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