WAIC and WBIC with R Stan