Symbolic Regression using Mixed-Integer Nonlinear Optimization