AI Feynman 2.0: Pareto-optimal symbolic regression exploiting graph modularity