Feast of the Assumption of the Blessed Virgin Mary, Holy Day of Obligation