Micro-Specialization: Dynamic Code Specialization in DBMSes