Modeling Inactivation of Highly Persistent Pathogens in Household-Scale Semi-Continuous Anaerobic Digesters