Text this: Service Restoration in Distribution Networks by Optimal Scheduling of Repair Crew and Mobile Power Sources