Provably Efficient Causal Model-Based Reinforcement Learning for Systematic Generalization