Predicting vaccine effectiveness in livestock populations: A theoretical framework applied to PRRS virus infections in pigs