mining processes and ore extraction