Optimal Envy-Free Cake Cutting