mining with a villager in minecraft