what mining techniques are used to obtain iron ore