What was the number of Intel's first commercially available microprocessor?