Faster by Design: Performance Engineering in the MS JDBC Driver for SQL Server