Explained: How a safety device that can take the weight of two elephants saved Grosjean’s life at the Bahrain Grand Prix