Supreme Court strikes federal marriage provision