What was the number of people executed in 2015?