Mathematics of Shock Reflection-Diffraction and von Neumann's Conjectures