How fins affect the economy and efficiency of human swimming