Fast, accurate, and transferable many-body interatomic potentials by symbolic regression