DOJ goes to bat against DOMA