Mining of iron ores