Population synthesis of Galactic pulsars with machine learning