Official: NVIDIA buys Arm for $ 40 billion