Botswana to double holding in diamond miner De Beers