EXTENSION Mining and electricity costs