With up to 400 trains a day running on its 62 miles of track, the channel tunnel is the busiest railway system in the world - and doing things at the double is key to its success.