All Saints' Day, Holy day  of obligation