Machine-learning-assisted discovery of polymers with high thermal conductivity