Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines