巴拿马运河多长