DNV Class A Certification for a GMDSS Simulator: What It Means and How to Check It