mining exploration and development costs