Formal Abductive Latent Explanations for Prototype-Based Networks