Una mina de titanio se ha derrumbado dejando atrapados a un millar de robots mineros.