A model of silver–iodine reactions in a light water reactor containment sump under severe accident conditions