Oman's Gross Domestic Product total rose to over OMR13 billion by the end of the second quarter of 2017