FormalizingtheGeneralization-ForgettingTrade-Off inContinualLearning