استان سمنان، سمنان، میرزا بزرگ شیرازی، آیت الله مدنی