Sanders Officially Files DNC Lawsuit