Analisi sismica lineare e non lineare degli edifici in muratura: teoria ed esempi di applicazione secondo OPCM 3274/2003 e 3431/2005