Deep Reinforcement Learning for Rapid Communication Network Recovery with Multiple Repair Crews