Text this: A Multi-Robot Collaborative Exploration Method Based on Deep Reinforcement Learning and Knowledge Distillation