What Does It Truly Mean to Cut a Cake 'Fairly'? The Mathematics of Fair Division and Envy-Free Mechanisms