Mining and resource consumption – a much-needed debate