DOMA Challenge Tests Federal Definition of Marriage