Inferring Pluggable Types with Machine Learning