Provable and Efficient Continual Representation Learning