การประหารชีวิตโดยการแขวนคอ