Optimization of crews in post-earthquake electric power restoration