DOMA provision unconstitutional, Prop. 8 appeal dismissed by Supreme Court