Holy Day of obligation, The assumption of the Virgin Mary