Induction and physical theory formation by Machine Learning