Brazilian firms to pay record $3.5 billion penalty in corruption case