Assumption of the Blessed Virgin Mary, A holy day of obligation