overturning DOMA was also good