Optimizing Resource and Restoration Scheduling for Power Distribution Systems After a Natural Hazard: A Case Study with Volcanic Lahars | IEEE Conference Publication | IEEE Xplore