軍法絞刑