Velenje 1972 praznik rudarjev