Machine Learning 4 Space Geodesy (ML4SG): A set of ML-related libraries and tools for space-geodetic applications