fixed model1.stan so that beta is restricted positive