Angola: Boost for mining sector diversification