Algeria: Non-oil sector grows by 9.3%