Comprehensive Overview of the S32K3xx Automotive MCU Family and What Its Software Offers