3. julij praznik slovenskih rudarjev