Biomechanics and energetics in aquatic and semiaquatic mammals: platypus to whale.