Onko Suomessa käytetty hirttämistä teloitusmenetelmänä?