Kinetics and mechanism of effector focus formation in the lungs of mice vaccinated with irradiated cercariae of Schistosoma mansoni