A survey of European sea level infrastructure