African mining exploration fell by 3.4% in 2023 to $1.27bn - S&P