Definition of a Formal and Unified Model for a Smart Card based European-wide Electronic Seaman’s Book