Metrics and provider-based results for completeness and temporal resolution of satellite-based AIS services. (July 2018)