The Mathematical Engineering of Deep Learning