What is an annulment, how does it work, and why is it necessary in the Catholic Church if someone who is divorced wants to get remarried?