Risk-Based Resource Allocation for Distribution System Maintenance