Machine Learning Logic Synthesis