Are Long Arms or Short Arms Better for Arm Wrestling?