Iran to export 10 billion cubic meters of gas a year to Oman