Provable Defense against Backdoor Policies in Reinforcement Learning