Assumption of the Blessed Virgin Mary, Holy Day of Obligation