Modeling coal plant stranded costs for decarbonization pathway analyses