embedded computing and mechatronics with the pic32 microcontroller