¿Quién fue el último ejecutado mediante el garrote vil en España?