IU students file lawsuit over vaccine mandate