Mattia Binotto has explained the reasoning behind the decision not to pit Charles Leclerc during the safety car period that followed Esteban Ocon's retirement.