9 мая: какой праздник, официальное название