Discovering Nuclear Models from Symbolic Machine Learning