Use web workers in pdf.js