High-Precision Power Modelling of the Tegra K1 Variable SMP Processor Architecture