Manufacturing sector contributes 13% to Dubai’s GDP