Title: The economics of mining