The ISO 45001 audit procedure