Transformers in Reinforcement Learning: A Survey