Stan code - model 1 and 2. Restricted at request of depositor