Globally Optimal Symbolic Regression