Globally, more funds are used for coal mining than copper mining