Development and verification of a schistosomiasis transmission model