Discovering Symbolic Models from Deep Learning with Inductive Biases