Lessons from the Chile mine rescue