Modelling the stability of Stx lysogens.