The penalty of life imprisonment under international criminal law