Панамский канал, краткое описание, строительство