Efficiency Modeling and Analysis of 64-bit ARM Clusters for HPC