Real GDP grows 3.9% in Bahrain, oil sector shrink