Boom in oil prices is a boon for Oman's GDP