Data-driven formulation of natural laws by recursive-LASSO-based symbolic regression