Microsoft's browser choice error may have cost Firefox 9 million downloads, Mozilla says