Microsoft's browser auto-update pays off as IE10 share doubles