What happens if the Senate is tied?