Gravar-mail: An Informatics Framework for Testing Data Integrity and Correctness of Federated Biomedical Databases