SMLP: Symbolic Machine Learning Prover