gas asphyxiation execution law