Systematic approach and mathematical development for conditional core damage probabilities under station blackout of a nuclear power plant