A Survey of Deep Learning for Mathematical Reasoning