The ancient legal text known for the principle of 'an eye for an eye' was created by the king of which empire?