Eidetic Learning: an Efficient and Provable Solution to Catastrophic Forgetting