Rigorous Analysis of Singularities and Absence of Analytic Continuation at First Order Phase Transition Points in Lattice Spin Models