All Saints Day, Holy day of obligation