A Protocol for Model Validation and Causal Inference from Computer Simulation