Horn Belief Contraction: Remainders, Envelopes and Complexity