How many pins of the Arduino Micro are really useable as digital I/O pins?