Metodi per la verifica sismica di edifici in muratura utilizzando l'analisi statica non lineare