can iron mine diamond in minecraft