How Machine Learning Will Lead to Better Maps