Življenje velenjskih rudarjev, film