¿Cuántos mineros hay en una mina?