How long does Libya border the Mediterranean sea?