MIT mathematicians solve age-old spaghetti mystery