Campinas — municipality of São Paulo state, Brazil