Contribution of mining sector to Syria’s GDP increases