MRIdb: An end-to-end data management system for MRI