statistics on mining operations in africa