Maritime Chokepoints Compared: Hormuz, Bab el-Mandeb, Malacca, Suez and Panama by Traffic and Risk