Князь Ярослав Мудрий. "Руська правда"