Delivering impact from African animal agriculture: The agriculture-mining conundrum of grass or brass; bread or stones