IU students file lawsuit over vaccination policy