Mathematics of Double Descent