Solemnity of the Assumption of the Blessed Virgin Mary, A Holy Day of Obligation