Benchmarking and modelling of POWER7, Westmere, BG/P, and GPUs: an industry case study