The mine value is the number in the trade resources file multiplied by the number in the buildings file multiplied by 5.