With their escape routes blocked by heavy smoke, most of the 13 miners caught in an explosion did what they were trained to do.