Generating counterfactual explanations of tumor spatial proteomes to discover effective strategies for enhancing immune infiltration