Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping.