How many teams participated in the 1930 FIFA world cup?