Deep Learning for Polymer Discovery: Foundation and Advances (Synthesis Lectures on Data Mining and Knowledge Discovery)