execution of mentally ill