Embedded Computing and Mechatronics with the PIC32 Microcontroller