A Performance Model of Multi-Version Concurrency Control