1996 US law defining marriage for federal purposes; overturned in the 2010s