Maria Tenhemelopneming 15 augustus, Hoogfeest