Were the 4 types of execution replaced when there was no longer a Sanhedrin to carry out the punishments?