Play Web Workers in IE10: Background JavaScript Makes Web Apps Faster