Machine Learning for Cutting Planes in Integer Programming: A Survey