How the Supreme Court justices voted on DOMA