BotDGT: Dynamicity-aware Social Bot Detection with Dynamic Graph Transformers