Solemnity of the Assumption of the Virgin Mary, Holy Day of Obligation