Credal networks under epistemic irrelevance: theory and algorithms