Current Approaches to the Analysis of Design Extension Conditions with Core Melting for New Nuclear Power Plants