Are Headbutts Allowed in Boxing? Rules, History, and Consequences