Enabling Strong Database Integrity using Trusted Execution Environments