DOMA in bankruptcy court