Low-power System-on-Chip Processors for Energy Efficient High Performance Computing: The Texas Instruments Keystone II