All Saints Day, Holy Day of obligation