Beyond Barr Exactness: Effective Descent Morphisms