The implementation of TEEMS, a Trusted Execution Environment based Metadata-protected Messaging System