Microchip Announces PIC32MX 32-bit Microcontroller Portfolio