Brazil boosts security at Rio World Cup stadium