How long do professional boxers live