Iron ore miners surge on record China steel production