What was the number of people executed in 2018?