How is it that an ant appears proportionately so much stronger than a trained human weight lifter?