Model Reconstruction Using Counterfactual Explanations: A Perspective From Polytope Theory