By 1983, 13 million of what "labor-saving" device operated worldwide?