Sustainable intensification of Brazilian pastures reconciles food security with large-scale soil carbon sequestration