Brazil boosts World Cup security budget