Assumption, Holy Day of Obligation