Праздники шахтёров в 2023 году: Торжественные моменты