082024 (M12, B21) Permanent health insurance: A case study in piecewise-deterministic Markov modelling